Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
higher order goods - перевод на русский
математика
предикат высшего порядка
математика
функциональная форма (уравнения)
общая лексика
метод малого параметра
математика
теория возмущений
[gudz]
общая лексика
груз
грузовой
продукты
товары
строительное дело
изделия
материалы
Смотрите также
существительное
общая лексика
употр. с гл. в ед. и мн. ч.
товар
товары
вещи
имущество
багаж
груз
товары, иногда груз, багаж
вещи, имущество
(the goods) требуемые, необходимые качества
именно то, что нужно
(the goods) улики, вещественные доказательства, изобличающие преступника, поличное
грузовой, товарный
багажный
разговорное выражение
информация
улики
вещественные доказательства (the goods)
то
что требуется
что нужно
необходимые качества (the goods)
синоним
2) груз; багаж
- goods and chattels
- goods en route
- goods in bond
- goods in process
- goods in transit
- goods made on commission
- goods on hand
- goods on the hangers
- goods short delivered
- goods sold
- goods taxable
- press goods upon :
- send goods on approval
- turn out goods
- goods were allotted to the highest bidder
- goods of foreign origin
- abundant goods
- accumulable goods
- ascertained goods
- assorted goods
- back-to-school goods
- capital goods
- civilian goods
- complementary goods
- consumer goods
- consumption goods
- convenience goods
- current consumer goods
- damaging goods
- day-to-day goods
- defense goods
- drawback goods
- dry goods
- dumped goods
- durable goods
- durable consumer goods
- duty-free goods
- engineering-and-electrical goods
- express goods
- fabricated goods
- factored goods
- fancy goods
- fast-moving goods
- faulty goods
- finished consumer goods
- first order goods
- Giffen goods
- half-finished goods
- hard goods
- higher order goods
- home goods
- home-made goods
- household goods
- industrial goods
- inferior goods
- input goods
- investment goods
- joint-cost goods
- knit goods
- large-scale goods
- long-lived goods
- low-price special goods
- luxury goods
- Manchester goods
- manufactured goods
- measurement goods
- merchanted goods
- merit goods
- metal goods
- military goods
- nondurable goods
- nondurable consumer goods
- nonstrategic goods
- output goods
- over-priced goods
- perishable goods
- piece goods
- prepackaged goods
- price maintained goods
- private goods
- producer durable goods
- producers' goods
- production goods
- public goods
- quality goods
- reproducible goods
- scarce goods
- second-hand goods
- semidurable goods
- semifinished goods
- semimanufactured goods
- shopping goods
- slow-moving goods
- smuggled goods
- soft goods
- specialty goods
- spoiled goods
- spot goods
- standardized goods
- store goods
- strategic goods
- style-and-fashion goods
- substitute goods
- substitutional goods
- unclaimed goods
- undurable goods
- unfinished goods
- wage goods
- white goods
Определение
Википедия
In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.
The term "higher-order logic", abbreviated as HOL, is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is the theory of simple types, also called the simple theory of types (see Type theory). Leon Chwistek and Frank P. Ramsey proposed this as a simplification of the complicated and clumsy ramified theory of types specified in the Principia Mathematica by Alfred North Whitehead and Bertrand Russell. Simple types is nowadays sometimes also meant to exclude polymorphic and dependent types.
